Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
261	Form over Function Teaching Beginners How to Construct Programs (Distilled Tutorial) Michael Sperber Marcus Crestani Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2014-05-30 22:41:02 ProgramByDesign How to Design Programs Computing Programming language theory Algorithm Scheme Shape Computer science Scheme programming language Computer science education Java programming language
262	Metaprogramming with Traits John Reppy and Aaron Turon University of Chicago {jhr,adrassi}@cs.uchicago.edu Abstract. In many domains, classes have highly regular internal structure. For example, so-called business objec Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2010-01-10 16:47:20 Method Object-oriented programming Java programming language Type theory C++ Constructor Multiple inheritance Trait Java syntax Software engineering Computing Computer programming
263	Ambivalent Types for Principal Type Inference with GADTs APLAS 2013, Melbourne Jacques Garrigue & Didier R´ Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2013-12-10 00:25:45 Type theory Procedural programming languages Functional languages Data types Type systems Type inference ALGOL 68 OCaml Hindley–Milner Software engineering Programming language theory Computing
264	A Guide to Data Centri c Func ti ons CompositeComposite A/S Nygårdsvej 16 DK-2100 Copenhagen Add to Reading List Source URL: docs.composite.net Language: English - Date: 2011-03-16 09:04:39 Scripting languages Filter theory XSLT Null Filter AS/400 Control Language XML Data-centric programming language EMML Computing Markup languages Functional languages
265	The Ciao Approach to the Dynamic vs. Static Language Dilemma (Position/System/Demo Paper1 ) M. V. Hermenegildo1,2 F. Bueno1 M. Carro1 P. L´opez-Garc´ıa2,4 E. Mera3 J. F. Morales2 G. Puebla1 1 Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2011-01-16 04:21:35 Programming paradigms Type theory Functional languages Logic in computer science Ciao Assertion Constraint programming Type system Programming language Software engineering Computing Computer programming
266	Twelf Carsten Sch¨ urmann ∗ Department of Computer Science Yale University Add to Reading List Source URL: www.itu.dk Language: English - Date: 2002-08-02 07:15:47 Type theory Logic in computer science Dependently typed programming Formal methods Lambda calculus Twelf Higher-order abstract syntax Logical framework Frank Pfenning Theoretical computer science Mathematics Programming language theory
267	EVD_agroscope_e_cmyk_pos_hoch Add to Reading List Source URL: wiki.c2sm.ethz.ch Language: English - Date: 2013-11-04 05:29:21 Computer programming Coding C Software engineering Programming language theory Cross-platform software Computing Debugging
268	WTTM 2012, The Fourth Workshop on the Theory of Transactional Memory Vincent Gramoli University of Sydney Australia Add to Reading List Source URL: www.gsd.inesc-id.pt Language: English - Date: 2014-09-25 06:02:42 Data management Data Databases Programming language implementation Software transactional memory Transactional memory Nir Shavit Linearizability Serializability Transaction processing Concurrency control Computing
269	Logical- and Meta-Logical Frameworks Lecture 3 Carsten Sch¨ urmann August 9, 2006 Add to Reading List Source URL: www.itu.dk Language: English - Date: 2006-08-09 04:38:59 Mathematical logic Programming language theory Dependently typed programming Twelf Logical framework Boolean algebra Propositional calculus Specific Area Message Encoding Functional completeness Logic in computer science Theoretical computer science Type theory
270	Metaterms with Several Attributes Pascal Brisset ECRC Arabellastrae 17, DMunich 81, Germany Add to Reading List Source URL: eclipseclp.org Language: English - Date: 2015-04-07 08:54:26 Programming paradigms Prolog Attribute grammar Attribute Variable and attribute Software engineering Computing Programming language theory

UPDATE